package agentspeakeditor.editors.common.AST.Line;

import agentspeakeditor.editors.common.AST.Terminal.Number;
import agentspeakeditor.editors.common.AST.Terminal.ID;
import agentspeakeditor.editors.common.checker.SemanticException;
import agentspeakeditor.editors.common.checker.Visitor;

public class Belief extends Line{

	private ID id;
	private Number number;
	
	public ID getID(){
		return this.id;
	}
	
	public void setID(ID id){
		this.id = id;
	}
	
	public String getSpelling1(){
		return "(";
	}
	
	public String getSpelling2(){
		return ").";
	}
	
	public Number getNumber(){
		return this.number;
	}
	
	public void setID(Number number){
		this.number = number;
	}
	
	public Belief(ID id,Number number){
		super();
		this.id = id;
		this.number = number;
	}
	
	@Override
	public Object visit(Visitor v, Object arg) throws SemanticException {
		return v.visitBelief(this, arg);
	}

	@Override
	public String toString(int level) {
		// TODO Auto-generated method stub
		return null;
	}

}
